Concerning first countable spaces. III

On nowhere first-countable compact spaces with countable π-weight

The minimum weight of a nowhere first-countable compact space of countable π-weight is shown to be κB, the least cardinal κ for which the real line R can be covered by κ many nowhere dense sets.

On Radon measures on first-countable spaces

It is shown that every Radon measure on a first-countable Hausdorff space is separable provided ω1 is a precaliber of every measurable algebra. As the latter is implied by MA(ω1), the result answers a problem due to D. H. Fremlin. Answering the problem posed by D. H. Fremlin ([4], 32R(c)), we show in this note that, assuming (∗) ω1 is a precaliber of every measurable Boolean algebra, every Rado...

CH and first countable , countably compact spaces ✩

We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question of Nyikos (Question 287 in the numbering of van Mill and Reed, Open Problems in Topology, Elsevier...

On first countable , countably compact spaces III : The problem of obtaining separable noncompact examples

First Countable, Countably Compact Spaces and the Continuum Hypothesis

We build a model of ZFC+CH in which every first countable, countably compact space is either compact or contains a homeomorphic copy of ω1 with the order topology. The majority of the paper consists of developing forcing technology that allows us to conclude that our iteration adds no reals. Our results generalize Saharon Shelah’s iteration theorems appearing in Chapters V and VIII of Proper an...